Higher-order logic - PDFSEARCH.IO - Document Search Engine

Higher-order logic
Results: 178

#	Item
1	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan · Add to Reading List Source URL: cakeml.org Language: English - Date: 2015-12-16 14:53:21 Mathematical logic Mathematics Logic Logic in computer science Proof assistants Model theory Proof theory Foundations of mathematics ZermeloFraenkel set theory HOL Gdel's completeness theorem Gdel's incompleteness theorems
2	A Relational Modal Logic for Higher-Order Stateful ADTs (Technical Appendix) Derek Dreyer Georg Neis Add to Reading List Source URL: people.mpi-sws.org Language: English - Date: 2009-11-03 09:13:08 Mathematical analysis Ergodic theory Topology Mathematics Generalised Whitehead product Homotopy theory Table of stars with Bayer designations
3	AUTO2, a saturation-based heuristic prover for higher-order logic Bohua Zhan Massachusetts Institute of Technology Add to Reading List Source URL: itp2016.inria.fr Language: English - Date: 2016-08-30 03:42:56
4	23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡ Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:58
5	Introduction to higher-order computation Nordic Logic School, Stockholm, 2017 Mart´ın H¨otzel Escard´o Theory Group, School of Computer Science University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-08-10 12:41:25
6	A Relational Modal Logic for Higher-Order Stateful ADTs Derek Dreyer Georg Neis Andreas Rossberg Add to Reading List Source URL: people.mpi-sws.org Language: English - Date: 2009-11-12 09:36:49
7	A Verifying Custom Synchronisation Constructs Using Higher-Order Separation Logic MIKE DODDS, University of York, UK SURESH JAGANNATHAN, Purdue University, Indiana MATTHEW J. PARKINSON, Microsoft Research, UK Add to Reading List Source URL: www.kasv.dk - Date: 2016-10-22 09:38:23
8	banner above paper title Implementing HOL in an Higher Order Logic Programming Language Cvetan Dunchev Add to Reading List Source URL: www.cs.unibo.it - Date: 2016-07-28 05:45:11
9	Mapping Data to Higher-Order Description Logic Knowledge Bases Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Dipartimento di Informatica e Sistemistica Antonio Ruberti Sapienza Universit`a d Add to Reading List Source URL: ceur-ws.org - Date: 2011-06-28 16:36:40
10	Technische Universität München Lehrstuhl für Logik und Verifikation Automatic Proofs and Refutations for Higher-Order Logic Add to Reading List Source URL: mediatum.ub.tum.de

UPDATE